#include<stdio.h>
int main(){
	int a,b,c;
	int sum;
	scanf("%d %d %d",&a,&b,&c);
	sum=a*0.2+b*0.3+c*0.5;
	printf("%d",sum);
	return 0;
}
